Search : peut-on construire un algorithme qui choisirait nos axiomes ?